Reply to B Halpern

Joseph Halpern

Conditional belief types Report Title We study type spaces where a player's type at a state is a conditional probability on the space. We axiomatize these spaces using conditional belief operators, examining three additional axioms of increasing strength. First, introspection, which requires the agent to be unconditionally certain of her beliefs. Second, echo, according to which the uncondition...

B and D Are Enough to Make the Halpern-Shoham Logic Undecidable

The Halpern Shoham logic is a modal logic of time intervals. Some e ort has been put in last ten years to classify fragments of this beautiful logic with respect to decidability of its satis ability problem. We contribute to this e ort by showing (among other results), that the BD fragment (where only the operators begins and during are allowed) is undecidable over discrete structures.

An Epistemic Halpern-Shoham Logic

We define a family of epistemic extensions of Halpern–Shoham logic for reasoning about temporal-epistemic properties of multi-agent systems. We exemplify their use and study the complexity of their model checking problem. We show a range of results ranging from PTIME to PSPACE– hard depending on the logic considered.

Reply to "the brain, amphotericin B, and p-glycoprotein".

We thank David A. Stevens et al. (1) for the letter suggesting different results regarding the effect of P-glycoprotein on the brain concentration of amphotericin B (AMB) by P-glycoprotein knockout mice. In contrast to our finding that blockage of P-glycoprotein with inhibitors enhances the brain uptake of AMB (2), they found that brain AMB concentrations were significantly lower in Mdr1a/1b / ...

The Authors’ Reply